PKGFLAG   =
EXTHDRS   = $(wildcard,*.h)
PKGNAME   = minisat-2.2

include ../Makefile.in
include ../Makefile.lib
